Generalized Sasaki Projections and Riesz Ideals in Pseudoeffect Algebras

A noncommutative version of generalized Sasaki projections in pseudoeffect algebras is introduced. It is proved that an ideal in a pseudoeffect algebra is Riesz if and only if it is closed under the right and left Sasaki projections. In lattice ordered pseudoeffect algebras, it is shown that generalized Sasaki projections are one-element sets, and their explicit form is found. It is shown that if a supremum of a normal Riesz ideal in a lattice ordered pseudoeffect algebra exists, it is a central element. These results extend those obtained recently by Avallone and Vitolo for effect algebras.     

Boosted leave-many-out cross-validation: the effect of training and test set diversity on PLS statistics

It is becoming increasingly common in quantitative structure/activity relationship (QSAR) analyses to use external test sets to evaluate the likely stability and predictivity of the models obtained. In some cases, such as those involving variable selection, an internal test set – i.e., a cross-validation set – is also used. Care is sometimes taken to ensure that the subsets used exhibit response and/or property distributions similar to those of the data set as a whole, but more often the individual observations are simply assigned `at random.' In the special case of MLR without variable selection, it can be analytically demonstrated that this strategy is inferior to others. Most particularly, D-optimal design performs better if the form of the regression equation is known and the variables involved are well behaved. This report introduces an alternative, non-parametric approach termed `boosted leave-many-out' (boosted LMO) cross-validation. In this method, relatively small training sets are chosen by applying optimizable k-dissimilarity selection (OptiSim) using a small subsample size (k = 4, in this case), with the unselected observations being reserved as a test set for the corresponding reduced model. Predictive errors for the full model are then estimated by aggregating results over several such analyses. The countervailing effects of training and test set size, diversity, and representativeness on PLS model statistics are described for CoMFA analysis of a large data set of COX2 inhibitors.     

Galerkin Approximations for the Linear Parabolic Equation with the Third Boundary Condition

We solve a linear parabolic equation in ^d , d 1, with the third nonhomogeneous boundary condition using the finite element method for discretization in space, and the -method for discretization in time. The convergence of both, the semidiscrete approximations and the fully discretized ones, is analysed. The proofs are based on a generalization of the idea of the elliptic projection. The rate of convergence is derived also for variable time step-sizes.     

On the Algebra Generated by the Bergman Projection and a Shift Operator I

Let be a domain with smooth boundary and let α be a C ²- diffeomorphism on satisfying the Carleman condition .We denote by the C*-algebra generated by the Bergman projection of G, all multiplication operators aI and the operator where is the Jacobian of α. A symbol algebra of is determined and Fredholm conditions are given. We prove that the C*-algebra generated by the Bergman projection of the upper half-plane and the operator is isomorphic and isometric to . Submitted: February 11, 2001?Revised: January 27, 2002     

线性约束最优化的一个共轭投影梯度法

本结合共轭梯度法及梯度投影法的思想,建立线性等式约束最优化的一个新算法,称之为共轭投影梯度法。分别对二次凸目标函数和一般目标函数分析和论证了算法的重要性质和收敛性。     

Contractive projections and operator spaces

Parallel to the study of finite-dimensional Banach spaces, there is a growing interest in the corresponding local theory of operator spaces. We define a family of Hilbertian operator spaces , , generalizing the row and column Hilbert spaces and , and we show that an atomic subspace that is the range of a contractive projection on is isometrically completely contractive to an -sum of the and Cartan factors of types 1 to 4. In particular, for finite-dimensional , this answers a question posed by Oikhberg and Rosenthal. Explicit in the proof is a classification up to complete isometry of atomic w-closed -triples without an infinite-dimensional rank 1 w-closed ideal.

     

Small Transitive Families of Subspaces

A family of subspaces of a complex separable Hilbert space is transitive if every bounded operator which leaves each of its members invariant is scalar. This article surveys some results concerning transitive families of small cardinality, and adds some new ones. The minimum cardinality of a transitive family in finite dimensions (greater than 2) is 4. In infinite dimensions a transitive pair of linear manifolds exists but the minimum cardinality of a transitive family of dense operator ranges or norm-closed subspaces is not known. However, a transitive family of dense operator ranges with 5 elements can be found, and so can a transitive family of norm-closed subspaces with 4 elements. In finite dimensions (> 1) three nest algebras (corresponding to maximal nests) can intersect in the scalar operators, but two cannot. It is not known if this is the case in infinite dimensions for maximal nests of type ω + 1. Four such nest algebras can intersect in the scalar operators. Received June 15, 2002, Accepted November 27, 2002     

NUMERICAL SOLUTION OF THE UNSTEADY INCOMPRESSIBLE NAVIER-STOKES EQUATIONS ON THE CURVILINEAR HALF-STAGGERED MESH NUMERICAL SOLUTION OF THE UNSTEADY INCOMPRESSIBLE NAVIER-STOKES EQUATIONS ON THE CURVILINEAR HALF-STAGGERED MESH

1. IntroductionLet us consider the unsteady incompressible Navier--Stokes equatinns (qSE)on a twedimensional reginn n with boundary On. Here w is the velocity vector; interms of its Caxtesian,components w = (u, v)"; p is the Pressure. The initial conditionis given assatisheng (1.2). We are concerned mainly with the solid wall boundary conditiollbut we will also briefly discuss the outflow boundary conditinn. Note the convectionterm can ajBo be written in conservative form (w' glad)w = div(…     

基于单幅数字散斑投影及图像相关的离面振动测量

采用单幅数字散斑图投影及高速数字图像采集技术,研究了动态离面位移的测量。采用商用液晶投影仪将计算机产生的模拟散斑图投影到待测动态变形物体表面,由高速数字图像采集设备摄取并保存变形散斑图,采用时间序列数字图像相关软件计算出物体表面各点随时间变化的离面位移。这种方法用于振动分析时不仅可以获得振型分布,而且还可以获得各点的振幅值。与现有的激光频闪照相测振及激光多普勒测振等方法相比,具有光学系统简单,可全场定量测量。悬臂梁振动实验结果证实了该方法的有效性。     

低曝光量下投影算法的稳健性研究

研究了在低曝光量情况下灰度投影算法的稳健性,为提出的稳定成像系统的设计与实现提供可行性论证。通过合成视频实验探讨、实际视频实验论证相结合的研究方法,探讨曝光量不足对灰度投影算法性能的影响。实验结果表明,灰度投影算法在欠曝5档和存在一定随机噪声的情况下,仍能保持良好的运动矢量估计性能,从而说明了投影算法在一定的曝光量范围内仍能准确地得到运动矢量估计,是一种运算量小、实时性好且稳健性较强的电子稳像算法。投影算法在低曝光量情况下良好的稳像稳健特性,使其能在低亮度及高实时性要求等环境下应用于航拍、卫星遥感等稳定成像或高清晰成像场合。